home *** CD-ROM | disk | FTP | other *** search
/ MacFormat 1995 May / macformat-024.iso / Shareware City / Developers / Kant Pro source Folder / Kant Pro 1.1 ƒ / Modules ƒ / Kant / Kant.rsrc / STR#_1000.txt next >
Encoding:
Text File  |  1995-01-19  |  376 b   |  13 lines
  1. &Ns<[ (and &certainty-clause this is true)|, &throwaway-clause,]> &Vst [&Ns|&Np]
  2.  
  3. &Ns &Vst<, [&throwaway-clause|&intro-clause],> [&Ns|&Np]
  4.  
  5. &Ns<, [&throwaway-clause|&intro-clause],> &Vsi
  6.  
  7. &Np<[ (and &certainty-clause this is the case)|, &intro-clause,]> &Vpt [&Ns|&Np]
  8.  
  9. &Np &Vpt<, [&throwaway-clause|&intro-clause],> [&Ns|&Np]
  10.  
  11. &Np<, [&throwaway-clause|&intro-clause],> &Vpi
  12.  
  13.